\relax 
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\@writefile{lol}{\contentsline {lstlisting}{QueensLogic.java}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Constructing mainBDD}}{2}}
\newlabel{mainBDD}{{1}{2}}
\@writefile{lol}{\contentsline {lstlisting}{QueensLogic.java}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Restricting with QueensBDD}}{3}}
\newlabel{QueensBDD}{{2}{3}}
